Knihy od autora Naijun Zhan

Zobrazené 1 – 6 z 6 výsledkov

1. 

   Formal Verification of Simulink/Stateflow Diagrams

   Naijun Zhan, Shuling Wang, Hengjun Zhao | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   118.47 €

   Zľava 7 %

   Ušetríte 9.85 €

   Kúpiť
2. 

   Formal Verification of Simulink/Stateflow Diagrams

   NAIJUN ZHAN | Springer International Publishing AG, 2018

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   118.47 €

   Zľava 7 %

   Ušetríte 9.85 €

   Kúpiť
3. 

   Formal Methods and Software Engineering

   Jingyi Wang, Naijun Zhan | Springer-Verlag GmbH, 2025

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   76.28 €

   Zľava 7 %

   Ušetríte 6.40 €

   Kúpiť
4. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Martin Fränzle, Deepak Kapur, Naijun Zhan | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Formal Methods

   Naijun Zhan, Corina Pasareanu | Springer Nature Switzerland AG, 2021

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   113.31 €

   Zľava 7 %

   Ušetríte 9.43 €

   Kúpiť
6. 

   Symposium on Real-Time and Hybrid Systems

   Cliff Jones, Ji Wang, Naijun Zhan | Springer Nature Switzerland AG, 2018

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Orientačné termín doručenia vidíte priamo v detaile knihy. Zistite viac